//Exits Dojo Entrance to Mu Lung
void portal(Player @player, Portal @portal) {
player.showMessage("You have been moved to Mu Lung.");
player.changeMap(250000000);
}